| abstract class $MAP{K,E} < $RO_MAP{K,E} |
|---|
| **** | A modifiable MAP Elements are stored in a map using the aset notation. Further assignments to a key will result in a replacement. |
| $RO_MAP{_,_} | $STR | $CONTAINER{_} | $ELT{_} | $ELT |
| H_MAP{_,_} | MAP{_,_} | B_TREE_DBG{_,_} |
| aset(k:K,e:E); |
|---|
| **** | Maps k to e. If k is already mapped, replace the old maping with ne new one. |
| delete(k:K); |
|---|
| delete(k:K): E; |
|---|
| **** | Removes the mapping from k. The element k was mapped to will be returned (or an appropiate non-value). |
